A Predicate Connection Graph Based Logic with Flexible Control
نویسندگان
چکیده
The FDE has been designed to support multiple search strategies for logic programs. This machine represents the knowledge base in a strategy independent fashion as a predicate connection graph which encodes potential unifications between predicates. It facilitates knowledge representation in the language of full first order predicate calculus Immediate developments include implementation of various database access strategies and addition of evaluable predicates and functions to the language. Long-term research will focus on exploration of search strategies, especially for parallel logic machines.
منابع مشابه
CONTROL OF FLEXIBLE JOINT ROBOT MANIPULATORS BY COMPENSATING FLEXIBILITY
A flexible-joint robot manipulator is a complex system because it is nonlinear, multivariable, highly coupled along with joint flexibility and uncertainty. To overcome flexibility, several methods have been proposed based on flexible model. This paper presents a novel method for controlling flexible-joint robot manipulators. A novel control law is presented by compensating flexibility to form a...
متن کاملA Parallel Resolution Procedure Based on Connection Graph
In this paper, we present a new approach towards a parallel resolution procedure which explores another dimension of parallelism in addition to the AND/OR formulation and special hardware constructs. The approach organizes the input clauses of a problem domain into a connection graph. The connection graph is then partitioned and each partition is worked on by a different processor of a multipro...
متن کاملTopology Control in Wireless Sensor Network using Fuzzy Logic
Network sensors consist of sensor nodes in which every node covers a limited area. The most common use ofthese networks is in unreachable fields.Sink is a node that collects data from other nodes.One of the main challenges in these networks is the limitation of nodes battery (power supply). Therefore, the use oftopology control is required to decrease power consumption and increase network acce...
متن کاملSemantics-Based Translation Methods for Modal Logics
A general framework for translating logical formulae from one logic into another logic is presented. The framework is instantiated with two different approaches to translating modal logic formulae into predicate logic. The first one, the well known ‘relational’ translation makes the modal logic’s possible worlds structure explicit by introducing a distinguished predicate symbol to represent the...
متن کاملApplication of Graph-Based Concept Learning to the Predictive Toxicology Domain
For concept learning systems, data representation is crucial. A good representation might make possible the learning of a concept that was not learnable using other representations. For example, in the case of the earthquake domain (earthquake data such as its location, epicenter, intensity, depth, type, etc.) we can just use an attribute-value representation. However, we are missing important ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1985